semantic action中文什么意思

例句与用法

1. 19 goltz u, gorrieri r, rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789, 1994, pp . 385-404.20 aceto l, action refinement in process algebra . cambridge univ
   即精化后的系统行为可以由精化前的系统行为和用于替换原系统动作的子系统的行为组合推导出来2同余性。